# ---> Agda
*.agdai

